graph theory:bipartite graph